Один подход к построению конструктивных аналогов теории множеств Л.Н. Гордеев (1977) Zapiski naucnych seminarov Leningradskogo
Синтез метода резолюций с обратным методом Г.В. Давыдов (1971) Zapiski naucnych seminarov Leningradskogo
Слабая коммутативность рассеянного суммирования линейных порядков А.Г. Пинус (1980) Sibirskij matematiceskij zurnal